Search results for "High probability"
showing 4 items of 4 documents
Regularity of one-letter languages acceptable by 2-way finite probabilistic automata
1991
R. Freivalds proved that the nonregular language {0m1m} can be recognized by 2-way probabilistic finite automata (2pfa) with arbitrarily high probability 1-e (e>0). We prove that such an effect is impossible for one-letter languages: every one-letter language acceptable by 2pfa with an isolated cutpoint is regular.
Proof II: Lower Bounds
2019
In this chapter we give a lower bound on \(\ln \det S_{\delta ,z}\) which is valid with high probability, and then using also the upper bounds of Chap. 16, we conclude the proof of Theorem 15.3.1 with the help of Theorem 12.1.2.
Improving checkpointing intervals by considering individual job failure probabilities
2021
Checkpointing is a popular resilience method in HPC and its efficiency highly depends on the choice of the checkpoint interval. Standard analytical approaches optimize intervals for big, long-running jobs that fail with high probability, while they are unable to minimize checkpointing overheads for jobs with a low or medium probability of failing. Nevertheless, our analysis of batch traces of four HPC systems shows that these jobs are extremely common.We therefore propose an iterative checkpointing algorithm to compute efficient intervals for jobs with a medium risk of failure. The method also supports big and long-running jobs by converging to the results of various traditional methods for…
Proliferative verrucous leukoplakia: a proposal for diagnostic criteria.
2009
Proliferative verrucous leukoplakia (PVL) is a rare form of oral leukoplakia, which was first described in 1985 by Hansen et al. Since then, various published case series have presented PVL as a disease with aggressive biological behaviour due to its high probability of recurrence and a high rate of malignant transformation, usually higher than 70%. PVL is a long-term progressive condition, which is observed more frequently in women and elderly patients over 60 years at the time of diagnosis. Eventually, PVL tends to become multifocal with a progressive deterioration of the lesions, making it more and more difficult to control. Tobacco use does not seem to have a significant influence on th…